Arithmetic hyperbolicity: automorphisms and persistence
نویسندگان
چکیده
Abstract We show that if the automorphism group of a projective variety is torsion, then it finite. Motivated by Lang’s conjecture on rational points hyperbolic varieties, we use this to prove with only finitely many has automorphisms. Moreover, investigate what extent finiteness S -integral over number field persists generated fields. To end, introduce class mildly bounded varieties and general criterion for proving persistence.
منابع مشابه
Filtrations, hyperbolicity and dimension for polynomial automorphisms
In this paper we study the dynamics of regular polynomial automorphisms of C. These maps provide a natural generalization of complex Hénon maps in C to higher dimensions. For a given regular polynomial automorphism f we construct a filtration in C which has particular escape properties for the orbits of f . In the case when f is hyperbolic we obtain a complete description of its orbits. In the ...
متن کاملFrom Bounded Arithmetic to Second Order Arithmetic via Automorphisms
In this paper we examine the relationship between automorphisms of models of I∆0 (bounded arithmetic) and strong systems of arithmetic, such as PA, ACA0 (arithmetical comprehension schema with restricted induction), and Z2 (second order arithmetic). For example, we establish the following characterization of PA by proving a “reversal” of a theorem of Gaifman: Theorem. The following are equivale...
متن کاملThe Arithmetic and the Geometry of Kobayashi Hyperbolicity
(1) The dimension of the pluricanonical series, h(C,mK), grows linearly with m for curves of genus at least two. (2) The canonical/cotangent bundle of a curve of genus at least two is ample. (3) A curve of genus at least two admits a hyperbolic metric with constant negative curvature. (4) Curves of genus at least two are uniformized by the unit disc, hence they do not admit any non-constant hol...
متن کاملAutomorphisms of Models of Bounded Arithmetic∗
We establish the following model theoretic characterization of the fragment I∆0+Exp+BΣ1 of Peano arithmetic in terms of fixed points of automorphisms of models of bounded arithmetic (the fragment I∆0 of Peano arithmetic with induction limited to ∆0-formulae). Theorem A. The following two conditions are equivalent for a countable model M of the language of arithmetic: (a) M satisfies I∆0 + BΣ1 +...
متن کاملSemi-hyperbolicity and Hyperbolicity
We prove that for C1-diffeomorfisms semi-hyperbolicity of an invariant set implies its hyperbolicity. Moreover, we provide some exact estimations of hyperbolicity constants by semi-hyperbolicity ones, which can be useful in strict numerical computations.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematische Annalen
سال: 2021
ISSN: ['1432-1807', '0025-5831']
DOI: https://doi.org/10.1007/s00208-021-02155-0